x86: irq: Reserve IRQ9 for ACPI in PIC mode

Reserve IRQ9 which is to be used as SCI interrupt number
for ACPI in PIC mode.

Signed-off-by: Bin Meng <[email protected]>
Reviewed-by: Stefan Roese <[email protected]>
Tested-by: Stefan Roese <[email protected]>
Reviewed-by: Simon Glass <[email protected]>

diff --git a/arch/x86/cpu/irq.c b/arch/x86/cpu/irq.c
index 2950783055eb0881c5e5c6e7b6a91f1affde7fa2..7586fc2b0cc2d91a85a90fb6ba3dd732a6165450 100644 (file)
--- a/arch/x86/cpu/irq.c
+++ b/arch/x86/cpu/irq.c
@@ -121,6 +121,11 @@ static int create_pirq_routing_table(struct udevice *dev)
        priv->irq_mask = fdtdec_get_int(blob, node,
                                        "intel,pirq-mask", PIRQ_BITMAP);
 
+       if (IS_ENABLED(CONFIG_GENERATE_ACPI_TABLE)) {
+               /* Reserve IRQ9 for SCI */
+               priv->irq_mask &= ~(1 << 9);
+       }
+
        if (priv->config == PIRQ_VIA_IBASE) {
                int ibase_off;